Service basic.stepsremaining
Description
Computes how many steps are remaining to be done, according to the strategy. For this, only the first derivation is considered, which corresponds to the one returned by the derivation service.
Input
- State
Output
- Int